Logic Express

#	Item
51	Logics for Insecure Communication Alexandru Baltag* Abstract W e present a general setting for dynarnlc-epistemic logics for communication, which can express announcements of different types (public or private, truthful Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Modal logic Non-classical logic Kripke semantics Classical cipher Four-square cipher Logic Philosophical logic Mathematical logic